$\forall$$a$, $b$:$\mathbb{Z}$. gcd($a$;$b$) $\sim$ gcd($b$;$a$)